On Some Influence of the Weak Subalgebra Lattice on the Subalgebra Lattice

In [14] we showed that for each locally finite unary (total) algebra of finite type, its weak subalgebra lattice uniquely determines its (strong) subalgebra lattice. Now we generalize this fact to algebras having also finitely many binary operations (for example, groupoids, semigroups, semilattices). More precisely, we generalize some ideas from [14] to prove: Let A be a locally finite (total) algebra with m unary operations k 1 , . . . , k A m and n binary operations f A 1 , . . . , f A n and let A satisfy the following formula: for any x, y and 1 ≤ i ≤ n, x 6= y implies fi(x, y) 6= x and fi(x, y) 6= y. Then for every partial algebra B with m unary and n binary operations, if the weak subalgebra lattices of A and B are isomorphic, then their (strong) subalgebra lattices are also isomorphic and moreover, B is total and locally finite and satisfies the same formula. MSC 2000: 05C65, 05C99, 08A30 (primary); 05C90, 08A55 (secondary)